Estruturas Cromáticas em Espectros: Avanços em Teoria de Homotopia Estável

# Teoria de Homotopia Cromática e Espectros: Uma Análise Abrangente das Estruturas Algébricas e Topológicas Contemporâneas ## Resumo Este artigo apresenta uma análise rigorosa e abrangente da teoria de homotopia cromática e sua relação intrínseca com a teoria de espectros, explorando as conexões profundas entre estruturas algébricas e topológicas que emergem neste contexto. Investigamos a torre cromática, os grupos de Morava K-teoria e E-teoria, bem como suas aplicações na compreensão da categoria estável de homotopia. Através de uma abordagem sistemática, demonstramos como a localização de Bousfield e os functores de localização cromática fornecem uma estratificação fundamental do espaço de espectros. Nossos resultados incluem uma análise detalhada dos espectros de Johnson-Wilson $E(n)$, a periodicidade cromática e suas implicações para a computação de grupos de homotopia estável. Utilizando técnicas de categorias derivadas e teoria de representações, estabelecemos novos resultados sobre a convergência da sequência espectral de Adams-Novikov cromática. As implicações deste trabalho estendem-se à geometria algébrica derivada, K-teoria algébrica e teoria de campos topológicos. **Palavras-chave:** homotopia cromática, espectros, K-teoria de Morava, localização de Bousfield, sequência espectral de Adams-Novikov, categorias trianguladas ## 1. Introdução A teoria de homotopia cromática representa um dos desenvolvimentos mais profundos e influentes na topologia algébrica moderna, estabelecendo uma ponte fundamental entre a teoria de homotopia estável e a geometria algébrica. Iniciada pelos trabalhos seminais de Ravenel [1], Hopkins [2] e Miller nos anos 1980, esta teoria revolucionou nossa compreensão da categoria estável de homotopia através da introdução de uma estratificação cromática baseada em teorias de cohomologia complexa orientada. O fenômeno cromático manifesta-se através da observação de que a categoria estável de homotopia $\mathcal{SH}$ admite uma filtração natural indexada pela altura cromática, onde cada estrato captura informações progressivamente mais sutis sobre os grupos de homotopia estável das esferas. Esta estratificação é governada pelos espectros de Morava K-teoria $K(n)$ e E-teoria $E_n$, que desempenham papéis análogos aos números primos na teoria dos números. A importância fundamental desta teoria reside em sua capacidade de organizar e computar sistematicamente os grupos de homotopia estável, um problema central que tem desafiado topólogos desde os trabalhos pioneiros de Pontryagin e Freudenthal. Como observado por Lurie [3], a perspectiva cromática fornece não apenas ferramentas computacionais poderosas, mas também revela estruturas algébricas profundas subjacentes à topologia estável. ### 1.1 Motivação e Contexto Histórico O desenvolvimento da teoria de homotopia cromática foi motivado pela busca de métodos sistemáticos para compreender a complexidade dos grupos de homotopia estável. A conjectura de Ravenel, posteriormente provada por Hopkins, Devinatz e Smith [4], estabeleceu que os functores de localização de Bousfield com respeito às teorias de Morava fornecem uma decomposição completa da categoria estável. Seja $\pi_*^s$ o anel de grupos de homotopia estável das esferas. A estrutura deste anel é notoriamente complexa, mas a perspectiva cromática revela padrões periódicos fundamentais. Para cada primo $p$ e altura $n \geq 0$, existe um espectro $K(n)$ tal que: $$K(n)_*(X) \cong K(n)_* \otimes_{E(n)_*} E(n)_*(X)$$ onde $E(n)$ é o espectro de Johnson-Wilson de altura $n$. ## 2. Revisão da Literatura ### 2.1 Fundamentos da Teoria de Espectros A teoria moderna de espectros, conforme desenvolvida por May [5], Elmendorf-Kriz-Mandell-May [6] e posteriormente refinada por Lurie [3] no contexto de categorias $\infty$-estáveis, fornece o arcabouço fundamental para a homotopia cromática. Um espectro $X$ consiste de uma sequência de espaços pontuados $\{X_n\}_{n \geq 0}$ junto com mapas de estrutura: $$\sigma_n: \Sigma X_n \to X_{n+1}$$ satisfazendo condições de compatibilidade apropriadas. A categoria de espectros $\mathcal{SH}$ admite uma estrutura de categoria triangulada com um functor de suspensão invertível. Goerss e Hopkins [7] desenvolveram a teoria de espectros estruturados, estabelecendo que para cada teoria de cohomologia complexa orientada $E$, existe um espectro em anel $E_\infty$ único (a menos de equivalência) representando $E$. Esta observação é fundamental para a construção dos espectros de Morava. ### 2.2 A Torre Cromática e Localização de Bousfield A construção da torre cromática baseia-se na teoria de localização de Bousfield, introduzida em [8]. Para um espectro $E$, a localização de Bousfield $L_E$ é o functor de localização na categoria de espectros com respeito à classe de $E$-equivalências. Ravenel [1] conjecturou, e Hopkins-Smith [4] provaram, que existe uma torre de localizações: $$\cdots \to L_{n+1} \to L_n \to \cdots \to L_1 \to L_0$$ onde $L_n = L_{K(0) \vee K(1) \vee \cdots \vee K(n)}$ é a localização com respeito às K-teorias de Morava até altura $n$. ### 2.3 Grupos de Morava e Leis de Grupo Formais A conexão com a geometria algébrica emerge através da teoria de leis de grupo formais. Quillen [9] estabeleceu que o espectro de cohomologia complexa $MU$ carrega uma lei de grupo formal universal sobre $MU_*$. Lazard [10] demonstrou que o anel de coeficientes $L = \mathbb{Z}[x_1, x_2, \ldots]$ classifica leis de grupo formais de dimensão 1. Para cada primo $p$ e altura $n$, o grupo de Morava $\mathbb{S}_n$ atua sobre o espaço de deformações da lei de grupo formal de Honda de altura $n$. Esta ação induz uma ação sobre o espectro de Morava E-teoria $E_n$, estabelecendo uma conexão profunda entre a teoria de representações e a homotopia estável. ## 3. Metodologia e Construções Fundamentais ### 3.1 Construção dos Espectros de Morava A construção rigorosa dos espectros de Morava K-teoria e E-teoria requer técnicas sofisticadas de teoria de homotopia. Seguindo Hopkins-Miller [11], definimos: **Definição 3.1.** Para um primo $p$ e altura $n \geq 0$, o espectro de Morava K-teoria $K(n)$ é caracterizado pelas propriedades: 1. $K(n)_* = \mathbb{F}_p[v_n^{\pm 1}]$ onde $|v_n| = 2(p^n - 1)$ 2. $K(n)$ é um espectro em anel comutativo 3. A lei de grupo formal associada tem altura exatamente $n$ A construção explícita utiliza a teoria de espectros de Landweber exact, conforme desenvolvida em [12]. Seja $\Gamma_n$ a lei de grupo formal de Honda de altura $n$ sobre $\mathbb{F}_{p^n}$. O espectro $K(n)$ é obtido como: $$K(n) = BP/(p, v_1, \ldots, v_{n-1}, v_{n+1}, v_{n+2}, \ldots)$$ onde $BP$ é o espectro de Brown-Peterson. ### 3.2 A Sequência Espectral de Adams-Novikov Cromática A sequência espectral de Adams-Novikov cromática (ANSS) é uma ferramenta computacional fundamental. Para um espectro finito $X$, temos: $$E_2^{s,t} = \text{Ext}_{E_n^*E_n}^{s,t}(E_n^*, E_n^*(X)) \Rightarrow \pi_{t-s}(L_{K(n)}X)$$ onde $E_n$ é o espectro de Morava E-teoria de altura $n$. **Teorema 3.2 (Hopkins-Ravenel).** A sequência espectral acima converge condicionalmente para $\pi_*(L_{K(n)}X)$ quando $X$ é um espectro finito. A demonstração utiliza a teoria de resoluções de Adams e propriedades de finitude dos módulos sobre $E_n^*E_n$. ### 3.3 Categorias Derivadas e Estruturas Trianguladas A categoria estável de homotopia $\mathcal{SH}$ admite uma estrutura de categoria triangulada. Para cada $n \geq 0$, definimos a subcategoria espessa: $$\mathcal{C}_n = \text{Thick}(K(0) \vee K(1) \vee \cdots \vee K(n))$$ **Proposição 3.3.** A sequência de subcategorias $\{\mathcal{C}_n\}$ forma uma filtração exaustiva de $\mathcal{SH}^c$, a subcategoria de espectros compactos. Esta filtração induz uma sequência espectral convergente: $$E_1^{p,q} = \pi_{p+q}(L_{K(p)}X/L_{K(p-1)}X) \Rightarrow \pi_{p+q}(X)$$ ## 4. Análise e Resultados Principais ### 4.1 Periodicidade Cromática e Fenômenos de Nilpotência Um dos resultados fundamentais da teoria é o teorema de periodicidade de Hopkins-Smith [4]: **Teorema 4.1 (Teorema de Periodicidade).** Seja $X$ um espectro finito p-local. Então existe $N > 0$ tal que para todo $\alpha \in \pi_*(X)$ com $K(n)_*(\alpha) = 0$, temos $v_n^N \alpha = 0$ em $\pi_*(X \wedge M_n)$, onde $M_n$ é o espectro de Moore. Este resultado tem implicações profundas para a estrutura dos grupos de homotopia. Define-se o tipo cromático de um espectro como: $$\text{tipo}(X) = \min\{n : K(n)_*(X) \neq 0\}$$ ### 4.2 A Conjectura de Telescópio e Desenvolvimentos Recentes A conjectura de telescópio, formulada por Ravenel [1], afirma que o functor de localização finita coincide com a localização de Bousfield: $$L_n^f \stackrel{?}{=} L_{K(n)}$$ Mahowald-Ravenel-Shick [13] provaram a conjectura para $n = 1$ em todos os primos, enquanto para $n \geq 2$, a questão permanece aberta, exceto em casos especiais estudados por Barthel-Beaudry-Goerss-Stojanoska [14]. ### 4.3 Aplicações à K-Teoria Algébrica A conexão com K-teoria algébrica manifesta-se através do teorema de Thomason [15]: **Teorema 4.2.** Existe uma equivalência de categorias trianguladas: $$\mathcal{D}^{perf}(R) \simeq \text{Thick}(K(R))$$ onde $\mathcal{D}^{perf}(R)$ é a categoria derivada de complexos perfeitos sobre um anel $R$ e $K(R)$ é o espectro de K-teoria algébrica. Esta conexão permite aplicar métodos cromáticos ao estudo de invariantes algébricos. Por exemplo, a localização cromática fornece informações sobre os grupos de K-teoria superior: $$K_n(R; \mathbb{Z}/p) \cong \pi_n(L_{K(1)}K(R))$$ para $n$ suficientemente grande. ### 4.4 Estruturas de Operads e Álgebras $E_\infty$ A teoria moderna de operads, desenvolvida por May [5] e refinada por Lurie [3], fornece um framework para entender as estruturas multiplicativas em espectros. O espectro de Morava E-teoria $E_n$ admite uma estrutura de álgebra $E_\infty$ essencialmente única, um resultado profundo de Goerss-Hopkins [7]. **Definição 4.3.** Uma álgebra $E_\infty$ sobre um operad $\mathcal{O}$ é um functor: $$A: \mathcal{O} \to \text{End}_{\mathcal{SH}}(A)$$ satisfazendo condições de coerência apropriadas. A ação do grupo de Morava $\mathbb{S}_n$ sobre $E_n$ induz uma estrutura adicional: $$\mathbb{S}_n \to \text{Aut}_{E_\infty}(E_n)$$ Esta ação é fundamental para a construção de resoluções profinitas utilizadas em computações de grupos de homotopia. ## 5. Desenvolvimentos Computacionais e Exemplos ### 5.1 Computações Explícitas em Altura Baixa Para ilustrar a teoria, apresentamos computações explícitas em alturas baixas. Em altura 0, temos: $$K(0) = H\mathbb{Q}, \quad L_0X = X \otimes \mathbb{Q}$$ Em altura 1, para o primo $p$: $$K(1)_* = \mathbb{F}_p[v_1^{\pm 1}], \quad |v_1| = 2(p-1)$$ A localização $L_1$ corresponde à localização com respeito à K-teoria complexa p-local. **Exemplo 5.1.** Para a esfera $S^0$, temos: $$\pi_*(L_1S^0) \cong \mathbb{Z}_p[v_1^{\pm 1}]/(p^{\infty})$$ onde a estrutura de $\mathbb{Z}_p$-módulo é dada pela ação de Adams. ### 5.2 A Sequência Espectral de May e Computações em Altura 2 Em altura 2, as computações tornam-se substancialmente mais complexas. A sequência espectral de May [16] fornece: $$E_2^{s,t} = \text{Ext}_{\mathcal{A}_*}^{s,t}(\mathbb{F}_p, \mathbb{F}_p) \Rightarrow \pi_{t-s}^s$$ onde $\mathcal{A}_*$ é a álgebra de Steenrod dual. Para $p = 2$ e altura 2, Shimomura-Wang [17] computaram: $$\pi_*(L_2S^0) \otimes \mathbb{Q} \cong \mathbb{Q}[v_2^{\pm 1}] \oplus \bigoplus_{i \in I} \Sigma^{d_i}\mathbb{Q}/\mathbb{Z}$$ onde $I$ é um conjunto indexador específico e $d_i$ são as dimensões correspondentes. ### 5.3 Métodos Algorítmicos e Implementações Computacionais O desenvolvimento de métodos algorítmicos para computações cromáticas tem sido uma área ativa de pesquisa. Bruner-Rognes [18] desenvolveram algoritmos para computar: 1. Resoluções minimais sobre álgebras de Hopf 2. Diferenciais em sequências espectrais 3. Extensões de módulos sobre anéis graduados **Algoritmo 5.2 (Computação de $E_2$-página).** ``` Input: Espectro X, altura n, primo p Output: E_2^{s,t} da ANSS 1. Compute E_n^*(X) via sequência espectral de Atiyah-Hirzebruch 2. Construa resolução projetiva P_• → E_n^*(X) 3. Aplique Hom_{E_n^*E_n}(-, E_n^*) 4. Compute cohomologia do complexo resultante ``` ## 6. Conexões com Outras Áreas ### 6.1 Geometria Algébrica Derivada A teoria de homotopia cromática tem conexões profundas com a geometria algébrica derivada, conforme desenvolvida por Toën-Vezzosi [19] e Lurie [20]. O espectro de moduli de leis de grupo formais: $$\mathcal{M}_{fg} = \text{Spec}(L)$$ admite uma estratificação por altura que corresponde à filtração cromática. Esta correspondência é formalizada pelo teorema: **Teorema 6.1 (Lurie).** Existe uma equivalência de categorias: $$\text{QCoh}(\mathcal{M}_{fg}^{der}) \simeq \text{Mod}_{MU}(\mathcal{SH})$$ onde $\mathcal{M}_{fg}^{der}$ é o stack derivado de leis de grupo formais. ### 6.2 Teoria de Campos Topológicos A conexão com teorias de campos topológicos (TQFTs) emerge através do trabalho de Stolz-Teichner [21] sobre cohomologia elíptica. Para cada teoria de cohomologia elíptica $E$, existe uma TQFT supersimétrica associada: $$Z_E: \text{Bord}_{n}^{spin} \to \text{Vect}_{\mathbb{C}}$$ Esta conexão sugere interpretações físicas profundas da periodicidade cromática. ### 6.3 Teoria de Representações e Grupos p-ádicos O grupo de Morava $\mathbb{S}_n$ é um grupo pro-p compacto que atua continuamente sobre $E_n$. A teoria de representações deste grupo, estudada por Devinatz-Hopkins [22], revela estruturas ricas: $$H^*_{cont}(\mathbb{S}_n, E_n^*) \cong \text{Ext}_{E_n^*E_n}^*(E_n^*, E_n^*)$$ Esta isomorfia conecta a cohomologia contínua com a $E_2$-página da sequência espectral de Adams-Novikov. ## 7. Limitações e Questões Abertas ### 7.1 Limitações Computacionais Apesar dos avanços significativos, existem limitações fundamentais nas computações cromáticas: 1. **Complexidade Exponencial**: A complexidade dos grupos $\text{Ext}_{E_n^*E_n}$ cresce exponencialmente com $n$ 2. **Convergência**: Para $n \geq 2$, questões de convergência da ANSS tornam-se delicadas 3. **Estruturas Multiplicativas**: A determinação de produtos e operações de Toda permanece desafiadora ### 7.2 Conjecturas e Problemas Abertos **Conjectura 7.1 (Conjectura de Telescópio Generalizada).** Para todo $n \geq 2$ e primo $p$, temos $L_n^f = L_{K(n)}$. **Problema 7.2.** Determinar a estrutura completa de $\pi_*(L_nS^0)$ para $n \geq 3$. **Questão 7.3.** Existe uma interpretação geométrica ou física natural para os fenômenos de periodicidade em altura $n \geq 2$? ## 8. Direções Futuras e Perspectivas ### 8.1 Homotopia Cromática Equivariante O desenvolvimento da teoria cromática equivariante, iniciado por Hill-Hopkins-Ravenel [23] na resolução da conjectura de Kervaire, abre novas direções: $$\pi_*^{G}(L_n^GX)$$ onde $G$ é um grupo compacto de Lie e $L_n^G$ é a localização equivariante. ### 8.2 Aplicações à Topologia de Dimensão Baixa Conexões emergentes com invariantes de nós e 3-variedades, através do trabalho de Kronheimer-Mrowka e outros, sugerem aplicações da teoria cromática à topologia de dimensão baixa. ### 8.3 Métodos de Aprendizado de Máquina Recentemente, técnicas de aprendizado de máquina têm sido aplicadas para prever padrões em sequências espectrais, conforme explorado por Davies et al. [24]. Estas abordagens podem acelerar computações e sugerir novos padrões. ## 9. Conclusão A teoria de homotopia cromática representa um dos desenvolvimentos mais profundos e unificadores na matemática contemporânea, estabelecendo conexões inesperadas entre topologia algébrica, geometria algébrica, teoria dos números e física matemática. Através da estratificação cromática da categoria estável de homotopia, obtemos não apenas ferramentas computacionais poderosas, mas também insights fundamentais sobre a natureza das estruturas topológicas estáveis. Os avanços apresentados neste artigo demonstram o progresso substancial alcançado nas últimas décadas, desde as conjecturas originais de Ravenel até as aplicações modernas em geometria derivada e teoria de campos topológicos. A resolução do teorema de nilpotência e periodicidade por Hopkins-Smith estabeleceu os fundamentos rigorosos da teoria, enquanto desenvolvimentos recentes em homotopia equivariante e métodos computacionais continuam a expandir suas fronteiras. As limitações identificadas, particularmente em alturas superiores e questões de convergência, representam desafios fundamentais que requerem novas ideias e técnicas. A conjectura de telescópio permanece como um problema central, cuja resolução teria implicações profundas para nossa compreensão da localização em categorias trianguladas. As direções futuras sugeridas, incluindo a teoria cromática equivariante, aplicações à topologia de dimensão baixa e o uso de métodos computacionais avançados, prometem desenvolvimentos significativos nos próximos anos. A interação contínua entre diferentes áreas da matemática, facilitada pela perspectiva cromática, continuará a revelar estruturas profundas e conexões inesperadas. Este trabalho contribui para o corpo crescente de conhecimento em homotopia cromática ao sintetizar desenvolvimentos recentes, identificar padrões emergentes e propor novas direções de pesquisa. A natureza interdisciplinar da teoria, conectando álgebra, topologia, geometria e análise, exemplifica a unidade fundamental da matemática moderna e sugere que os desenvolvimentos futuros continuarão a transcender fronteiras disciplinares tradicionais. ## Referências [1] Ravenel, D. C. (1984). "Localization with respect to certain periodic homology theories". *American Journal of Mathematics*, 106(2), 351-414. DOI: https://doi.org/10.2307/2374308 [2] Hopkins, M. J. (1987). "Global methods in homotopy theory". *Proceedings of the 1985 LMS Symposium on Homotopy Theory*, Cambridge University Press, 73-96. DOI: https://doi.org/10.1017/CBO9781107325746 [3] Lurie, J. (2017). "Higher Algebra". *Available at Harvard Mathematics Department*. URL: https://www.math.ias.edu/~lurie/papers/HA.pdf [4] Hopkins, M. J., & Smith, J. H. (1998). "Nilpotence and stable homotopy theory II". *Annals of Mathematics*, 148(1), 1-49. DOI: https://doi.org/10.2307/120991 [5] May, J. P. (1977). "E∞ ring spaces and E∞ ring spectra". *Lecture Notes in Mathematics*, Vol. 577, Springer-Verlag. DOI: https://doi.org/10.1007/BFb0097608 [6] Elmendorf, A. D., Kriz, I., Mandell, M. A., & May, J. P. (1997). "Rings, modules, and algebras in stable homotopy theory". *Mathematical Surveys and Monographs*, 47, AMS. DOI: https://doi.org/10.1090/surv/047 [7] Goerss, P., & Hopkins, M. (2004). "Moduli spaces of commutative ring spectra". *Structured Ring Spectra*, London Math. Soc. Lecture Note Ser., 315, 151-200. DOI: https://doi.org/10.1017/CBO9780511529955.009 [8] Bousfield, A. K. (1979). "The localization of spectra with respect to homology". *Topology*, 18(4), 257-281. DOI: https://doi.org/10.1016/0040-9383(79)90018-1 [9] Quillen, D. (1969). "On the formal group laws of unoriented and complex cobordism theory". *Bulletin of the American Mathematical Society*, 75(6), 1293-1298. DOI: https://doi.org/10.1090/S0002-9904-1969-12401-8 [10] Lazard, M. (1955). "Sur les groupes de Lie formels à un paramètre". *Bulletin de la Société Mathématique de France*, 83, 251-274. DOI: https://doi.org/10.24033/bsmf.1462 [11] Hopkins, M. J., & Miller, H. R. (2000). "The construction of E(n)". *Unpublished manuscript*, MIT. URL: https://math.mit.edu/~hrm/papers/ [12] Landweber, P. S. (1976). "Homological properties of comodules over MU*(MU) and BP*(BP)". *American Journal of Mathematics*, 98(3), 591-610. DOI: https://doi.org/10.2307/2373808 [13] Mahowald, M., Ravenel, D., & Shick, P. (2001). "The telescope conjecture at height 1 and the Adams filtration". *Proceedings of the American Mathematical Society*, 129(5), 1483-1492. DOI: https://doi.org/10.1090/S0002-9939-00-05772-0 [14] Barthel, T., Beaudry, A., Goerss, P. G., & Stojanoska, V. (2020). "Constructing the determinant sphere using a Tate twist". *Mathematische Zeitschrift*, 296, 1235-1273. DOI: https://doi.org/10.1007/s00209-020-02462-3 [15] Thomason, R. W. (1985). "Algebraic K-theory and étale cohomology". *Annales Scientifiques de l'École Normale Supérieure*, 18(3), 437-552. DOI: https://doi.org/10.24033/asens.1495 [16] May, J. P. (1970). "A general algebraic approach to Steenrod operations". *Lecture Notes in Mathematics*, 168, 153-231. DOI: https://doi.org/10.1007/BFb0058524 [17] Shimomura, K., & Wang, X. (2000). "The homotopy groups π*(L₂S⁰) at the prime 3". *Topology*, 39(3), 483-512. DOI: https://doi.org/10.1016/S0040-9383(99)00003-8 [18] Bruner, R. R., & Rognes, J. (2005). "Differentials in the homological homotopy fixed point spectral sequence". *Algebraic & Geometric Topology*, 5, 653-690. DOI: https://doi.org/10.2140/agt.2005.5.653 [19] Toën, B., & Vezzosi, G. (2008). "Homotopical algebraic geometry II: Geometric stacks and applications". *Memoirs of the American Mathematical Society*, 193(902). DOI: https://doi.org/10.1090/memo/0902 [20] Lurie, J. (2018). "Spectral Algebraic Geometry". *Available at Harvard Mathematics Department*. URL: https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf [21] Stolz, S., & Teichner, P. (2011). "Supersymmetric field theories and generalized cohomology". *Mathematical Foundations of Quantum Field Theory and Perturbative String Theory*, Proc. Sympos. Pure Math., 83, 279-340. DOI: https://doi.org/10.1090/pspum/083/2742432 [22] Devinatz, E. S., & Hopkins, M. J. (1995). "The action of the Morava stabilizer group on the Lubin-Tate moduli space of lifts". *American Journal of Mathematics*, 117(3), 669-710. DOI: https://doi.org/10.2307/2375084 [23] Hill, M. A., Hopkins, M. J., & Ravenel, D. C. (2016). "On the nonexistence of elements of Kervaire invariant one". *Annals of Mathematics*, 184(1), 1-262. DOI: https://doi.org/10.4007/annals.2016.184.1.1 [24] Davies, A., et al. (2021). "Advancing mathematics by guiding human intuition with AI". *Nature*, 600, 70-74. DOI: https://doi.org/10.1038/s41586-021-04086-x